Preface: In memory of Wim Blok
نویسندگان
چکیده
algebraic logic: Full models, Frege systems, and metalogical properties he formulates an institutional analogue of the property of congruence and analyses how it helps in the preservation of other metalogical properties such as conjunction, disjunction, the deduction-detachment theorem, and two versions of reductio ad absurdum. In partial contrast, Raftery’s paper The equational definability of truth predicates explores a new direction in the study of the Leibniz hierarchy without leaving its original framework, that is, the algebraic study of deductive systems of sentential character. Most of Wim’s work in abstract algebraic logic concerned the largest class in the hierarchy, namely the class of protoalgebraic logics, which he and Don introduced in [2]. One of the several different ways in which this class is characterized is by the property that the Lebniz operator is monotonic on the lattice of theories of the logic. Initially it was believed that this class encompassed all logics whose matrix semantics was amenable to the lattice-theoretic and model-theoretic methods of traditional algebraic logic and of the more modern universalAlready in Appendix C of [3] the authors show how to apply the method to account for the algebraization of first-order logic in terms of cylindric algebras.
منابع مشابه
Johan van Benthem Modal Frame Correspondences and Fixed - Points Dedicated to the memory of
Taking Löb’s Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results — while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspecti...
متن کاملHamlet and Hamletism through the prism of the creativity of M. Lermontov and A. Blok
The author of the article aims to explain world literature through such concepts as the concept of Hamletism and the character of Hamlet in relation to selected works of Russian Romanticism, in particular, the beginning of realism and symbolism as an outstanding current of the Silver Age. Subject of a careful comparative analysis is the works of Mikhail Lermontov ("Demon" and "Ma...
متن کاملJames G . RAFTERY THE EQUATIONAL DEFINABILITY OF TRUTH PREDICATES In memory of Willem Blok
Received 6 July 2005
متن کاملOn the Blok-Esakia Theorem
We discuss the celebrated Blok-Esakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of generalisations of the Blok-Esakia theorem to extensions of intuitionistic logic with modal operators and coimpl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Reports on Mathematical Logic
دوره 41 شماره
صفحات -
تاریخ انتشار 2006